81. Physics with maple
پدیدآورنده : Frank Y.Wang
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : mathematical physics--Data procesing,Algebraic logic -- Data processing
رده :
530
,.
150285
,
W259P
,
2006
82. Proceedings
پدیدآورنده : Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 ; C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebraic logic - Congresses,Algebra, Universal - Congresses
رده :
QA
.
A45
10
1988
83. Proceedings
پدیدآورنده : Algebraic Logic and Universal Algebra in Computer Science Conference, )8891, Ames, Iowa(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic-- Congresses,، Algebra, Universal-- Congresses
رده :
QA
10
.
A45
1988
84. Protoalgebraic logics
پدیدآورنده : Czelakowski, Janusz.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic
رده :
QA
10
.
C94
2001
85. Protoalgebraic logics
پدیدآورنده : Czelakowski, Janusz
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebraic logic
رده :
QA
10
.
C89P76
86. Relational and Algebraic Methods in Computer Science
پدیدآورنده : \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
87. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
88. Relational and kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
پدیدآورنده : Rudolf Berghammer, Bernhard Moller, Georg Struth )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Relation algebras,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
3051
89. Residuated lattices : an algebraic glimpse at substructural logics
پدیدآورنده : Nikolaos Galatos ... ]et al.[
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebraic logic,، Lattice theory
رده :
QA
10
.
R47
2007
90. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
91. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
92. Semigroups underlying first-order logic
پدیدآورنده : Craig, William, 8191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebraic logic,، First-order logic,، Semigroups
رده :
QA
3
.
A475
no
.
866
93. Sentential probability logic :
پدیدآورنده : Theodore Hailperin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra, Boolean.,Algebraic logic.,Probabilities.
رده :
QA10
.
T446
1996
94. Stochastic coalgebraic logic
پدیدآورنده : / Ernst-erich Doberkat
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Algebraic logic,Stochastic processes
رده :
QA10
.
D634
2010
95. Stochastic coalgebraic logic
پدیدآورنده : / Ernst-Erich Doberkat
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Algebraic logic.,Modality (Logic),Stochastic processes.,Algebra, Universal.,Borel sets.
رده :
QA
10
.
D7
2010
96. Stochastic coalgebraic logic
پدیدآورنده : Doberkat, Ernst Erich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebraic logic,، Modality )Logic(,، Stochastic processes,، Algebra, Universal,، Borel sets
رده :
QA
10
.
D73
2010
97. Stochastic coalgebraic logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algebraic logic. ; Modality (Logic) ; Stochastic processes. ; Algebra, Universal. ; Borel sets. ;
98. Stochastic coalgebraic logic
پدیدآورنده : / Ernst-Erich Doberkat
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Algebraic logic.,Modality (Logic),Stochastic processes.,Algebra, Universal.,Borel sets.
رده :
QA
,
10
,.
D73
,
2010
99. Studies in algebraic logic
پدیدآورنده : Aubert Daigneault, editor
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebraic logic
رده :
QA
10
.
S78
100. Studies in algebraic logic
پدیدآورنده : Aubert Daigneault, editor
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebraic logic
رده :
QA
.
S78
10
